S. Rachel; "Concatenation as a basis for Q and the intuitionistic varient of Nelson’s classic result"